微信平台中的个人信息安全风险及保护对策

微信作为一种新型的即时通信工具,既带来了方便快捷,又在新的交流方式和途径中引发了诸多安全问题。分析了在微信社交平台及微信购物和娱乐平台中引发的个人信息安全风险,针对这些问题提出了相应的保护对策。     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

基于PSR框架的甘肃省环县耕地生态安全评价

以生态退化区甘肃环县为研究区,通过构建"压力-状态-响应"(PSR)模型,从自然、经济和社会3个方面选取20个评价指标,建立耕地生态安全评价指标体系,计算耕地生态安全指数并划分安全等级,对2005-2016年环县耕地生态安全变化状况进行定量分析.结果表明:①基于PSR模型的评价指标体系能够较好地反映耕地生态系统各个要素之间的关联,适用于区域耕地生态安全的综合评价.②2005-2016年期间,环县耕地生态安全水平逐渐提高,生态功能有所改善,耕地生态安全经历了"恶化-敏感-安全"的演变过程.③单项指标的变化表明环县2005-2016年间人口密度、人均耕地面积、土地垦殖率、单位面积耕地化肥施用量、年降水量以及工业废水排放达标率变化明显,是影响区域耕地生态安全状况的关键因素.今后在加强对耕地数量保护的同时,应采取休耕等耕地休养方式加强耕地质量和耕地生态建设与维护,致力于耕地生态系统的恢复和重建,促进区域耕地可持续利用.     

北京市生态安全格局保护紧迫性分级

以北京市为例, 通过粒度反推法和景观连通性识别重要生态用地, 通过邻域分析法构建生态阻力面, 采用MCR模型构建北京生态安全格局, 利用人工神经网络计算建设用地扩张概率, 对构建的生态安全格局进行保护紧迫性分级。结果表明, 北京市重要生态用地面积为 6488.53 km², 主要分布在西部和东北部山区, 小部分位于东南平原。一级生态用地面积为4482.48 km², 主要分布在西北和西南地区; 二级生态用地面积为1338.27 km², 主要分布在西部远郊山区、西南部近郊平原和东南部平原; 三级生态用地面积为669.77 km², 主要分布在中北部和东南部平原。重要生态廊道长度为2410.47 km, 分布在远郊城镇以及城乡交界处。一级生态廊道长度为1477.63 km, 主要分布在西北和西南远郊山区; 二级生态廊道长度为390.91 km, 主要分布在远郊平原的生态用地附近; 三级生态廊道长度为 541.93 km, 主要分布在城市中心的周边地区, 呈环状包围中心城区。     

融合量子密钥的内网文件加密系统

随着量子计算技术快速发展，基于计算复杂性的加密技术正面临着巨大的威胁，单一的防火墙技术无法完全阻止黑客的侵入和发自内网的攻击。采用防火墙与量子保密通信技术相结合的策略，能够有效解决上述问题。文中设计了一种基于量子密钥的局域网内文件安全系统，使用量子密钥并结合"一次一密"的方式对局域网内部隐私文件进行加密，能够有效防范文件失窃带来的损失。系统包括2个部分：以文件处理单元为核心的客户端软件，以加/解密信息管理模块为核心部件的服务器。为了增加密文的复杂性、密钥的存储安全性、计算可行性，提出了密文混合拼接、弱口令错位置乱、密钥智能匹配3种密钥处理方法，有效提高了系统的整体安全性。经系统功能测试与网络仿真分析，验证了系统的有效性、安全性及可行性。     

减小信道编码安全间隙的两次加扰方案

安全间隙是衡量安全信道编码保密性能的重要参数,目前相关研究主要考虑误比特率(bit error rate, BER)安全间隙,未考虑误字率(word error rate, WER)安全间隙。为同时减小安全信道编码BER和WER安全间隙,提出一种两次加扰方案。在发送端信道编码器前后各设置一个加扰器,相应在接收端信道译码器前后各设置解扰器,同时增大低信噪比区域的接收BER和WER,减小BER和WER安全间隙。对方案的差错概率进行了理论分析,并对信道编码采用BCH码时系统的性能进行了仿真。理论和仿真结果表明,相较于采用相同信道编码和外扰码器的方案,所提方案在减小WER安全间隙的同时也减小了BER安全间隙。     

基于注意力机制的GRU神经网络安全态势预测方法

传统的网络安全态势预测方法依赖于历史态势值的准确性,并且各种网络安全因素之间存在相关性和重要程度差异性。针对以上问题,提出一种基于注意力机制的循环门控单元(recurrent gate unit, GRU)编码预测方法,该方法利用GRU神经网络挖掘网络安全态势数据之间的时间相关性;引入注意力机制计算安全指标的分配权重并将其编码为网络安全态势值;利用改进的粒子群优化(particle swarm optimization, PSO)算法进行超参数寻优,以加速GRU神经网络的训练。仿真分析表明,所提方法具有更快的收敛速度和较低的复杂度,并且在不同的预测时长下具有较小的均方误差和平均绝对误差。     

高校学生生活园区文化建设总体框架--基于文化安全的视角

高校学生生活园区文化属于高校大学文化的重要组成部分，也是社会主义核心价值体系建设和社会主义文化强国战略的一个校园微因子。简述了文化的精神内涵和现实意义，分析了高校学生生活园区文化建设的现状与根本任务，在文化安全的视角下，从主体建设与客体建设的融合、载体建设与内涵建设的融合、体制建设与机制建设的融合等四方面论述了高校学生生活园区文化建设的总体框架。     

单片机总线技术结合Modbus-RTU协议的智能仪表通讯

为了克服传统仪表通讯技术传输距离短、实时性差、容错率低等缺点,提出一种基于MSP430F149单片机和Modbus-RTU协议的智能仪表通讯解决方案。阐述了Modbus-RTU协议的基本规范,对通信数据的接收、解析、校验、打包、发送等原理进行详细地分析,并对其硬件和软件的实现方法进行了详细介绍。通过协议测试软件Mod Scan32验证了该设计方案的可行性和稳定性。实践证明,采用MSP430系列单片机开发的现场总线技术以其低功耗、可靠、经济实用的特点在智能仪表系统中有着良好的应用前景。     

基于Ethernet IP协议的交流电参数检测仪表设计

针对电参数检测问题,设计一种新型电参数检测仪表,以ARM微处理器STM32F103为控制核心,利用电能计量专用芯片ADE7758作为电参数采集,并采用HMS公司的Anybus-Compact Com模块实现Ethernet IP工业以太网协议的仪表设计。设计结果表明,该仪表性能稳定、测量准确,具有良好的应用价值。